$\forall$$r$, $s$:$\mathbb{Q}$. ($\uparrow$qpositive($r$)) $\Rightarrow$ ($\uparrow$qpositive($s$)) $\Rightarrow$ ($\uparrow$qpositive($r$ $\ast$ $s$))